and Logic - PDFSEARCH.IO - Document Search Engine

and Logic
Results: 11835

#	Item
11	Temporal Logic Control under Incomplete or Conflicting Information Georgios Fainekos, and Herbert G. Tanner Abstract— Temporal logic control methods have provided a viable path towards solving the single- and multi-rob Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2018-02-08 16:28:11 Temporal logic Algebraic structures Mathematics Logic Metaphysics Linear temporal logic Logic in computer science Computation tree logic Non-classical logic Model checking Many-valued logic Lattice
12	System Description: GAPT 2.0? Gabriel Ebner1 , Stefan Hetzl1 , Giselle Reis2 , Martin Riener3 , Simon Wolfsteiner1 , and Sebastian Zivota1 1 Vienna University of Technology Add to Reading List Source URL: www.logic.at Language: English - Date: 2018-07-19 05:32:19 Mathematical logic Theoretical computer science Automated theorem proving Mathematics Proof theory Logic in computer science Formal methods Automated reasoning Proof assistant Proof complexity Reasoning system Isabelle
13	Formale Systeme II: Theorie Dynamic Logic: Uninterpreted and Interpreted First Order DL SS 2016 Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2016-05-03 10:44:18 Logic Mathematical logic Model theory Mathematics Modal logic Non-classical logic Temporal logic Kripke structure Symbol Kripke semantics Interpretation Functional predicate
14	Under consideration for publication in Theory and Practice of Logic Programming 1 Horn Clauses as an Intermediate Representation for Program Analysis and Transformation∗ Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Mathematics Theoretical computer science Elementary mathematics Compiler optimizations Static single assignment form Logic programming Scope Unification Term FO Variable Singular spectrum analysis
15	DPLL(T) with Exhaustive Theory Propagation and its Application to Difference Logic Robert Nieuwenhuis and Albert Oliveras? Abstract. At CAV’04 we presented the DPLL(T ) approach for satisfiability modulo theories T . I Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2005-06-14 03:44:48 Theoretical computer science Mathematics Mathematical logic Boolean algebra Formal methods Logic in computer science Electronic design automation NP-complete problems Boolean satisfiability problem Satisfiability modulo theories Unit propagation Literal
16	Understanding Resolution Proofs through Herbrand’s Theorem‹ Stefan Hetzl1 , Tomer Libal2 , Martin Riener3 , and Mikheil Rukhaia4 1 Institute of Discrete Mathematics and Geometry, Vienna University of Technology Add to Reading List Source URL: www.logic.at Language: English - Date: 2014-04-14 05:43:30 Mathematical logic Proof theory Logic Mathematics Natural deduction Sequent calculus Sequent First-order logic Admissible rule Conjunctive normal form Quantifier Cut-elimination theorem
17	What is the Point of an SMT-LIB Problem? ∗ Giles Reger and Martin Riener University of Manchester, Manchester, UK Add to Reading List Source URL: www.logic.at Language: English - Date: 2018-07-19 05:32:19 Theoretical computer science Mathematical logic Mathematics Formal methods Automated theorem proving Logic in computer science School of Computer Science University of Manchester Constraint programming Satisfiability modulo theories Solver Logic programming Resolution
18	A Separation Logic with Data: Small Models and Automation? Jens Katelaan1 , Dejan Jovanovi´c2 , and Georg Weissenbacher1 1 TU Wien, Vienna, Austria Add to Reading List Source URL: csl.sri.com Language: English - Date: 2018-04-25 11:34:42 Mathematical logic Logic Predicate logic Mathematics Model theory Semantics Philosophical logic First-order logic FO Quantifier Constructible universe Interpretation
19	Amortised Resource Analysis and Functional Correctness with Separation Logic (Part II) Summer School on Formal Reasoning and Representation of Complex Systems Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-08-26 04:16:32 Abstract data types Queue Double-ended queue Dequeue Statistical theory Probability and statistics Economy
20	Page 1 of 31 Tinder and Flame: The Strategic Logic of Mass Killing MIKAELA WESTHOFF ∗ S Add to Reading List Source URL: www.saramitchell.org Language: English - Date: 2018-10-19 15:18:33 Human behavior Crimes Mass murder Homicide Human rights abuses Murder Genocide International criminal law Mass killing Political violence Politicide Nonviolence

UPDATE